<script>
history_length = history.length;
</script>
